state@$i$$\mid$${\it xs}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$:Id$\rightarrow$if deq{-}member(IdDeq;$x$;${\it xs}$) then vartype($i$;$x$) else Top fi